first-order modal logic
英 [fɜːst ˈɔːdə(r) ˈməʊdl ˈlɒdʒɪk]
美 [fɜːrst ˈɔːrdər ˈmoʊdl ˈlɑːdʒɪk]
网络 一阶模态逻辑
双语例句
- Three temporal logics i.e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。 - The elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.
基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。 - The logical properties of individual variables and individual constants are different, the formulae combining with predications and quantifiers are different whether seen from the standpoint of first-order or modal logic.
个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。